#ifndef _IRT_INIT_H
#define _IRT_INIT_H

#include <stdint.h>

void __init_irt_from_auxv (uintptr_t *auxv);
void __init_irt_table (void);

#endif